$\forall$${\it the\_es}$:ES, $e$:E, $x$:Id. ($x$ when $e$) $\in$ vartype(loc($e$);$x$)